Abstra tion for Dense - Time Model
ثبت نشده
چکیده
منابع مشابه
Combining Theorem Proving and Model
s a f e t y : t h e o r e m p r o v e r f e e d b a c k Fig. 1. S heme of proving safety statements When a safe data abstra tion is obtained, veri ation of the model against a property an start. First, the abstra t data type and fun tion de nitions are inserted into the system spe i ation substituting the on rete de nitions of the original model. Next, the abstra t model together with the prope...
متن کامل×øöö Blockinøøòò Ëóóø Óò×øöööòø×
problems concrete problems P α γ α γ( (P)) α α (P) = P Fig. 3. The on rete and the abstra t problem. In Figure 3, P is the starting SCSP problem. Then with the mapping we get ~ P = (P ), whi h is an abstra tion of P . By applying the mapping to ~ P , we get the problem ( (P )). Let us rst noti e that these two problems (P and ( (P ))) are related by a pre ise property, as stated by the followin...
متن کاملÓùòøøö¹¹üüñôðð ××× Èöööö Blockin Blockinøø × Blockinóúöý Ò
ion and Model Checking Counter Example checking and predicate discovery Concrete System Verification Condition Initial Predicates Discovered predicates Property verified Abstract Counter−example Counter−example found Fig. 1. Predi ate Abstra tion Algorithm a veri ation ondition and the on rete system des ription it rst omputes an approximate abstra t model. This abstra t model is model he ked a...
متن کاملModelling Rea tion Systems with Petri Nets ( Extended Abstra t )
1 LIACS, Leiden University, 2300 RA, The Netherlands 2 S hool of Computing S ien e, New astle University, NE1 7RU, UK 3 Department of Computer S ien e, University of Colorado at Boulder 430 UCB Boulder, CO 80309-0430, U.S.A. Abstra t. We investigate how Petri nets ould be used to provide a faithful semanti s of rea tion systems, a formal framework for the investigation of pro esses arried by bi...
متن کاملÙøóññøøø Òòööøøóò Óó Ôòòòò Blockiný Ñóð× Óö ××öúú Ññòòòòññòø
viewpoint real−world viewpoint (1) select services (2) choose matching service−realizations (3) install means of data collection (4) collect data apply management to models (6) find dependencies (7) derive abstract model real− world model abstract model (5) merge datamodel (5) merge data Figure 3: Steps of the Modelling Pro ess 1. First, all servi es and omponents that should be part of the mod...
متن کامل